Nuprl Definition : es-val
0,22
postcript
pdf
val(
e
) == es_val(
es
)(
e
)
latex
clarification:
es-val(
es
;
e
) == es_val(
es
)(
e
)
latex
Definitions
f
(
a
)
,
es_val(
es
)
FDL editor aliases
es-val
origin